Difference between revisions of "Development of Critical Applications"

Latest revision as of 17:07, 24 August 2008

generic page

@@ Line 1: / Line 1: @@
-{{Course
+generic page
-  | name = Development of Critical Applications
-  | code = 2-AIN-283
-  | prerequisites = none
-  | semester = Winter
-  | year = 2
-  | credits = 6
-  | form = C - exercise (4)
-  | evaluation = 40/60
-  | webpage = http://www.sccg.sk/~durikovic/classes/ApllicCG_IV
-  | teacher = [[Damas Gruska|doc. RNDr. Damas Gruska, PhD.]]
-  | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
-  | homepage = http://ii.fmph.uniba.sk/~gruska/
-  | 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.
-  | offered_in = Elective in [[Master program in Applied Informatics]]
-  | recommendations = none
-}}