Concepedia

Marius C. Bujorianu

MC

3

Publications

48

Citations

3

H-Index

2003

Active since

Affiliations

University of Manchester(Current)

Marius C. Bujorianu is an author at University of Manchester specializing in formal verification, engineering, and formal specification.

Top concepts

Publications per year

2003–2009

3

Publications

3

A unifying specification logic for cyber-physical systems

Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer · 2009 · 20 citations

, , +20

Exploring UML Refinement through Unification

Eerke Boiten, Marius C. Bujorianu · Kent Academic Repository (University of Kent) · 2003 · 15 citations

, , +16

An Integrated Specification Logic for Cyber-Physical Systems

Marius C. Bujorianu, Howard Barringer · 2009 · 13 citations

, , +17

Rows per page

1–3 of 3