http://dev.dai.fmph.uniba.sk/w?action=history&feed=atom&title=Development_of_Critical_Applications%2Fen 2026-04-22T11:06:31Z História úprav pre túto stránku na wiki MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Development_of_Critical_Applications/en&diff=2849&oldid=prev 2008-08-24T15:07:16Z

<p>New page: {{Course | name = Development of Critical Applications | code = 2-AIN-283 | prerequisites = none | semester = Winter | year = 2 | credits = 6 | form = C - course (4) | eval...</p> <p><b>Nová stránka</b></p><div>{{Course<br /> | name = Development of Critical Applications<br /> | code = 2-AIN-283<br /> | prerequisites = none<br /> | semester = Winter<br /> | year = 2<br /> | credits = 6<br /> | form = C - course (4)<br /> | evaluation = 40/60 <br /> | webpage = not available<br /> | teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]] <br /> | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> | homepage = http://ii.fmph.uniba.sk/~gruska/<br /> | description = The course is a continuation of the course Formal Methods of Software Development where students learn some basic models exploited in formal specifications of systems (Process Algebras, Petri nets, Timed Automata ..). In this lecture we will focus on applications of the previously presented models and technique in design of critical applications.<br /> | offered_in = Elective in [[Master program in Applied Informatics]]<br /> | recommendations = none<br /> }}</div>

Petrovic