3 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
Daniel Găină, Ionuţ Ţuţu
We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop exten…