SENAC documentation comes in printed and on-line forms. All of the on-line documentation is included in the system, no matter what interface options are chosen by the user. The documentation for SENPACK and SENGRAPH is not on-line. The on-line help of each VMS implementation is structured in the form of a VMS help library and can be accessed from the command interpreter (DCL) as well as from SENAC. The Unix versions are accessed using the Unix function ”more”.
Keywords for this software
References in zbMATH (referenced in 6 articles , 1 standard article )
Showing results 1 to 6 of 6.
- Boucheneb, Hanifa: Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (2008)
- Lime, Didier; Roux, Olivier H.: Model checking of time Petri nets using the state class timed automaton (2006)
- Fateman, R. J.; Broughan, K. A.; Willcock, D. K.; Rettig, D.: Fast floating-point processing in common Lisp (1995)
- Cuyt, Annie; Verdonk, Brigitte: The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation (1993)
- Broughan, Kevin A.: SENAC: Lisp as a platform for constructing a problem solving environment. (With discussion) (1992)
- Broughan, Kevin A.: SENAC: A high-level interface for the NAG library (1991)