The algorithmic analysis of hybrid systems von Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.

Volltext

Symbolic Model Checking for Real-Time Systems von Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.

Volltext

The Algebra of Timed Processes, ATP: Theory and Application von Nicollin, X., Sifakis, J.

Volltext

Compiling real-time specifications into extended automata von Nicollin, X., Sifakis, J., Yovine, S.

Volltext

Stability of Discrete Sampled Systems von Halbwachs, N., Héry, J. -F., Laleuf, J. -C., Nicollin, X.

Volltext

From ATP to timed graphs and hybrid systems von NICOLLIN, X, SIFAKIS, J, YOVINE, S

Volltext

Automatic testing of reactive systems von Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.

Volltext

Compiling real-time specifications into extended automata : Specification and analysis of real-time systems von NICOLLIN, X, SIFAKIS, J, YOVINE, S

Volltext

Symbolic model checking for real-time systems von Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.

Volltext bestellen

An approach to the description and analysis of hybrid systems von Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.

Volltext

The algorithmic analysis of hybrid systems von Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.

Volltext

Lightweight tannin foam/composites sandwich panels and the coldset tannin adhesive to assemble them von Zhou, X., Pizzi, A., Sauget, A., Nicollin, A., Li, X., Celzard, A., Rode, K., Pasch, H.

Volltext

MALDI-TOF and 13C NMR analysis of a renewable resource additive—Thermoplastic acetylated tannins von Nicollin, A., Zhou, X., Pizzi, A., Grigsby, W., Rode, K., Delmotte, L.

Volltext