University of Massachusetts / University of Oslo / /
IndustryTerm
search strategies / formal methods-based tools / simulation tools / real-time object-oriented systems / real-time aspects / concurrent object systems / active networks / object systems / large and complex software systems / real-time object-based systems / exhaustive depth-first search / active network protocols / concurrent and nondeterministic object systems / search serves / infinite-state systems / transition systems / real-time distributed object systems / multicast / real-time systems / ordinary networks / distributed systems / realtime and hybrid systems / nondeterministic systems / software systems / network protocol developer / object-oriented real-time systems / search commands / model checking tools / phase transition systems / /
OperatingSystem
Kronos / /
Organization
University of Massachusetts / University of Oslo / Introduction Society / Peter C. Olveczky Department of Informatics / /
Person
Peter C. Olveczky / /
Position
representative / default interpreter / /
ProvinceOrState
Massachusetts / /
Technology
active network protocols / simulation / existing protocol / /
Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo