Jochen Klose

From MaRDI portal
Person:239135

Available identifiers

zbMath Open klose.jochenMaRDI QIDQ239135

List of research outcomes





PublicationDate of PublicationType
Check It Out: On the Efficient Formal Verification of Live Sequence Charts2007-09-05Paper
https://portal.mardi4nfdi.de/entity/Q54812112006-08-08Paper
https://portal.mardi4nfdi.de/entity/Q44358752003-11-20Paper
Formal analysis and verification of Statemate designs2002-06-02Paper
Verification of a radio-based signaling system using the STATEMATE verification environment2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27696112002-02-05Paper

Research outcomes over time

This page was built for person: Jochen Klose

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:239135&oldid=11971628"
Powered by MediaWiki