Engineer's Book


Formal Méthod – Complex Method to Manage … Complexity ?

The Formal Method claims to reduct systems logical errors number. But do we succeed to use, logically, the Formal Method ? It is a very smart paradox. Is’nt it ? We are sorry. Those following Annexes from PhD Thesis are in French language. Some denounced ideology and author irony are typicaly … local French. Let’s […]

Read the rest of this entry »