Počet záznamov: 1
PNEts - the VerificationTool Based on Petri Nets
Údaje o názve PNEts - the VerificationTool Based on Petri Nets Záhlavie-meno Siebert, Miroslav, 1986- (Autor) - FIIT Ústav počítačových systémov a sietí Ďal.zodpovednosť Flochová, Jana, 1959- (Autor) - FIIT Ústav počítačových systémov a sietí In WCE 2013 World Congress on Engineering 3-5 July, Imperial College London, London, U.K. Vol. I. -- Hong-Kong : International Association of Engineers, 2013. -- ISBN 978-988-19251-0-7. -- s.369-373 Predmet.heslá návrh verifikačný nástroj Petriho siete vlastnosti Jazyk dok. angličtina Druh dok. RZB - článok zo zborníka Kategória AFC - Publikované príspevky na zahraničných vedeckých konferenciách Kategória od 2022 V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Rok 2013 
článok
Počet záznamov: 1