|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 21-33, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 55-, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings, pp. 213-220, 2002, Springer, 3-540-43477-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCOM ![In: Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication, IMCOM 2019, Phuket, Thailand, January 4-6, 2019, pp. 195-210, 2019, Springer, 978-3-030-19062-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Kevin Chalmers, Jon M. Kerridge |
Verifying the CPA Networking Stack using SPIN/Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013, pp. 39-52, 2013, Open Channel Publishing Ltd., 978-0-9565409-7-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
35 | Xiao Mei-hua, Xue Jin-yun |
Modeling and Verifying Cryptographic Protocols Using SPIN/Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 352-358, 2004, IEEE Computer Society, 0-7695-2144-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 30(4), pp. 29-32, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|