Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Technische Universiteit Eindhoven onderzoeksportaal Startpagina
Help en veelgestelde vragen
English
Nederlands
Startpagina
Onderzoekers
Onderzoeksoutput
Organisatie
Activiteiten
Projecten
Prijzen
Pers/Media
Faciliteiten
Datasets
Cursussen
Onderzoeksgebieden
Afstudeerscripties
Zoeken op expertise, naam of affiliatie
Bisimulation minimisations for Boolean equation systems
J. Keiren
,
T.A.C. Willemse
Formal System Analysis
Onderzoeksoutput
:
Boek/rapport
›
Rapport
›
Academic
154
Downloads (Pure)
Overzicht
Vingerafdruk
Vingerafdruk
Duik in de onderzoeksthema's van 'Bisimulation minimisations for Boolean equation systems'. Samen vormen ze een unieke vingerafdruk.
Sorteer per
Gewicht
Alfabetische volgorde
Computer Science
Boolean Equation
100%
Equation System
100%
Equivalence Checking
11%
Model Checking
11%
Engineering
Bisimulation
100%
Equation System
100%
Prior Process
11%