|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 6 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 42 | Ed Brinksma, Angelika Mader, Ansgar Fehnker |
Verification and optimization of a PLC control schedule.  |
Int. J. Softw. Tools Technol. Transf.  |
2002 |
DBLP DOI BibTeX RDF |
Scheduling, Model checking, Verification, Formal methods, Hybrid systems |
| 39 | Jun Wei 0001, Shing-Chi Cheung, Xu Wang |
Exploiting Automatic Analysis of E-Commerce Protocols. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Agent UML, e-commerce protocol, Spin/Promela, model checking, UML, formal methods |
| 37 | Olga Shumsky Matlin, Ewing L. Lusk, William McCune |
SPINning Parallel Systems Software. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 35 | Haklin Kimm, Hanke Kimm |
Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN Promela. |
IMCOM |
2019 |
DBLP DOI BibTeX RDF |
|
| 35 | Kevin Chalmers, Jon M. Kerridge |
Verifying the CPA Networking Stack using SPIN/Promela. |
CPA |
2013 |
DBLP BibTeX RDF |
|
| 35 | Xiao Mei-hua, Xue Jin-yun |
Modeling and Verifying Cryptographic Protocols Using SPIN/Promela. |
SNPD |
2004 |
DBLP BibTeX RDF |
|
| 21 | John T. Robinson |
Analysis of Steady-State Segment Storage Utilizations in a Log-Structured File System with Least-Utilized Segment Cleaning. |
ACM SIGOPS Oper. Syst. Rev. |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license