Detail výsledku

An Overview of Some Automated Tools for Formal Analysis and Verification

VOJNAR, T. An Overview of Some Automated Tools for Formal Analysis and Verification. Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98. Krnov: Marq software s.r.o., 1998. no. Acta MOS, p. 223-228. ISBN: 80-85988-26-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D.
URL
Rok
1998
Strany
223–228
Sborník
Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98
Svazek
1
Číslo
Acta MOS
ISBN
80-85988-26-7
Vydavatel
Marq software s.r.o.
Místo
Krnov
BibTeX 
@inproceedings{BUT191478,
  author="Tomáš {Vojnar}",
  title="An Overview of Some Automated Tools for Formal Analysis and
 Verification",
  booktitle="Proceedings of 20th International Workshop on Advanced Simulation of Systems ASIS'98",
  year="1998",
  volume="1",
  number="Acta MOS",
  pages="223--228",
  publisher="Marq software s.r.o.",
  address="Krnov",
  isbn="80-85988-26-7",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-asis98.ps.gz"
}
Projekty
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru