
Concurrency and hardware design
Details
- OL Work ID
- OL18426894W
Subjects
Electronic digital computersParallel processing (Electronic computers)Petri netsDesign and constructionElectronic digital computers, design and constructionOrdinateursConception et constructionParallélisme (Informatique)Pétri, Réseaux deAsynchrones SchaltwerkEingebettetes SystemEntwurfsautomationFormale MethodeLeistungsbewertungNebenläufigkeitPetri-NetzSystementwurfVerifikation