Processen/HerkansingPracticum: versiegeschiedenis

Ga naar: navigatie, zoeken

Selectie voor verschillen: selecteer de te vergelijken versies en toets ENTER of de knop onderaan.
Verklaring afkortingen: (huidig) = verschil met huidige versie, (vorige) = verschil met voorgaande versie, k = kleine wijziging

  • (huidig | vorige) 1 aug 2013 15:28‎ Frits Vaandrager (overleg | bijdragen)‎ . . (3.301 bytes) (+3.301)‎ . . (Nieuwe pagina aangemaakt met '{{Processen/Inhoud}} ==Herkansing Practicumopdracht: Het Regelen van een OV-Taxi met Semaforen + Analyse van de Oplossing met Uppaal== =Opdracht= De model checker [h...')
Overgenomen van "https://lab.cs.ru.nl/algemeen/Processen/HerkansingPracticum"