|
|
| Riadok 1: |
Riadok 1: |
| − | {{Course
| + | generic page |
| − | | name = Development of Critical Applications
| + | |
| − | | code = 2-AIN-283
| + | |
| − | | prerequisites = none
| + | |
| − | | semester = Winter
| + | |
| − | | year = 2
| + | |
| − | | credits = 6
| + | |
| − | | form = C - course (4)
| + | |
| − | | evaluation = 40/60
| + | |
| − | | webpage = not available
| + | |
| − | | 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
| + | |
| − | }}
| + | |
