2019

• ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata

  MAJOR Juraj BLAHOUDEK František STREJČEK Jan JÁNOŠOVÁ Miriama ZBONČÁKOVÁ Tatiana

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 2019

• Software pro simulaci obecných i kritických informačních infrastruktur

  ČELEDA Pavel ČEGAN Jakub ANDONIADIS Kamil ČERMÁK Milan DUDA Jan HOLER Vlastimil HYŽÁK Ľuboš JADUŠ Boris KADAŠI Jakub LEŠKA David MACHÁČ Martin NUTÁR Ivo OŠLEJŠEK Radek PILÁR Dominik PLESNÍK Tomáš PROCHÁZKA Michal REBOK Tomáš RUSŇÁK Vít STANĚK Miloslav ŠEDA Pavel ŠVÁBENSKÝ Valdemar TOVARŇÁK Daniel VELAN Petr VIZVÁRY Martin VYKOPAL Jan ZBONČÁKOVÁ Tatiana

  Year: 2019