Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

products/Sources/formale Sprachen/Isabelle/HOL/HOLCF/IOA/  image not shown  

Quellcode-Bibliothek

Datei: products/Sources/formale Sprachen/Isabelle/HOL/HOLCF/IOA/

zur Elbe Produktseite wechseln Beweissystem aus München und Cambridge ©


 
ABP
 
 
NTP
 
 
Storage
 
 
ex
 

Abstraction.thy        
Asig.thy        
Automata.thy        
CompoExecs.thy        
CompoScheds.thy        
CompoTraces.thy        
Compositionality.thy        
Deadlock.thy        
IOA.thy        
LiveIOA.thy        
Pred.thy        
RefCorrectness.thy        
RefMappings.thy        
Seq.thy        
Sequence.thy        
ShortExecutions.thy        
SimCorrectness.thy        
Simulations.thy        
TL.thy        
TLS.thy        
Traces.thy        
 
 

Bemerkung:

  

                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder
Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik