Téma disertační práce

Školitel:Švéda Miroslav, prof. Ing., CSc.
Téma:Formální popis a verifikace třídy vyšších protokolů s omezeními v reálném čase
Zahájení v ak.r.:1998/1999
Obhajoba disertace:2005-10-14
Název disertace:Symbolic Data Structures for Parametric Verification
Charakteristika řešeného problému:

  • Formální specifikace gramatikami, temporálními logikami a přechodovými systémy
  • Verifikace temporálními logikami a přechodovými systémy
Součást výzkumného projektu:
Publikace související s vypsaným tématem:
1998ŠVÉDA Miroslav a VRBA Radimír. Interconnecting Architectures for Sensors and Actuators. In: Advances in Systems, Signals, Control and Computers. Durban: neznámá, 1998, s. 414-418. ISBN 0-620-23136-X.
 ŠVÉDA Miroslav. Asynchronous Specification Language and Design with Local Time. In: Proceedings of the IEEE Conference and Workshop ECBS'98. Maale Hachamisha: IEEE Computer Society, 1998, s. 256-263. ISBN 0-8186-8463-1.
1997ŠVÉDA Miroslav. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science. 1997, roč. 1998, č. 133, s. 34-49. ISSN 0302-9743.

Vaše IPv4 adresa: 18.204.48.40
Přepnout na https